<div>
  URL da cui scaricare lo strumento in forma binaria. Dovrebbe essere un file
  TAR compresso con ZIP o con gzip. Il timestamp sul server sarà confrontato con
  quello della versione locale (se presente) in modo da consentire una facile
  pubblicazione degli aggiornamenti. L'URL dev'essere accessibile dal master
  Jenkins, ma non è necessario che sia accessibile dagli agenti.
</div>
